October 10, 2025 — Software Analysis, Testing and Verification
[SATV 0x0a] Dynamic Symbolic Execution
#symbolic execution
#static analysis
Tag
#static analysis
4 posts
October 10, 2025 — Software Analysis, Testing and Verification
[SATV 0x09] Taint Analysis
#taint analysis
#static analysis
October 10, 2025 — Software Analysis, Testing and Verification
[SATV 0x08] Pointer Analysis
#pointer analysis
#static analysis
October 10, 2025 — Software Analysis, Testing and Verification
[SATV 0x07] Data Flow Analysis
#dataflow analysis
#static analysis